Richard Tieszen, After Gödel. Platonism and Rationalism in Mathematics and Logic
نویسندگان
چکیده
منابع مشابه
Platonism in mathematics ( 1935 )
With your permission, I shall now address you on the subject of the present situation in research in the foundations of mathematics. Since there remain open questions in this field, I am not in a position to paint a definitive picture of it for you. But it must be pointed out that the situation is not so critical as one could think from listening to those who speak of a foundational crisis. Fro...
متن کاملTheism, Platonism, and the Metaphysics of Mathematics
1 The Dilemma of the Theistic Platonist Theists generally hold that God is the creator of all there is distinct from himself. Traditionally, the scope of God's creative activity has extended across two disjoint realms: the physical, whose chief exemplars are ordinary middle-size objects, and the mental or spiritual, encompassing such things as angels and souls. Now, many theists are also platon...
متن کاملmanipulation in dubbing and subtitling
پژوهش حاضر در چارچوب مکتب دستکاری قرار گرفت و با استفاده از تقسیم بندی دوکات (2007) از شیوه های دستکاری، به دنبال یافتن پاسخ برای پرسش های زیر بود: 1-رایج ترین شیوه دستکاری در دوبله فیلم ها کدام است؟ 2-رایج ترین شیوه دستکاری در زیرنویس فیلم ها کدام است؟ 3-دستکاری در دوبله فیلم ها رایج تر است یا در زیرنویس آن ها؟ این پژوهش از نوع تحقیقات توصیفی- مقایسه ای و پیکره ای می باشد. پیکره تحقیق شا...
Extending possibilistic logic over Gödel logic
In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics are built over a restricted language, namely a two level language composed of non-modal and modal formulas, the latter ...
متن کاملA connection between Similarity Logic Programming and Gödel Modal Logic
In this paper we relate two logical similarity-based approaches to approximate reasoning. One approach extends the framework of (propositional) classical logic programming by introducing a similarity relation in the alphabet of the language that allows for an extended unification procedure. The second approach is a many-valued modal logic approach where 3p is understood as approximately p. Here...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal for the History of Analytical Philosophy
سال: 2014
ISSN: 2159-0303
DOI: 10.15173/jhap.v2i8.972